A Formal Model of Visualization in Computer Graphics Systems (Lecture Notes in

A Formal Model of Visualization in Computer Graphics Systems (Lecture Notes in C

Jurdzinski - Formal Modeling and Analysis of Timed Systems 10th Inte - X555z

Drechsler - Formal Modeling and Verification of Cyber-Physical Systems - X555z

Bollig - Formal Models of Communicating Systems Languages Automata - X555z

Joseph - Formal Techniques in Real-Time and Fault-Tolerant Systems P - X555z

Fahrenberg - Formal Modeling and Analysis of Timed Systems 9th Inter - X555z

Becker - Dynamical Systems and Fractals Computer Graphics Experiments - X555z