Yazar
jean francois raskin
5 cilt bulundu.
Cilt sonuçları
Tools and Algorithms for the Construction and Analysis of Systems
Marsha Chechik, Jean-François Raskin · Springer
971 sayfa · 2016
System design / System analysis / Computer software, development
Automated Technology for Verification and Analysis
Franck Cassez, Jean-Francois Raskin · Springer
442 sayfa · 2014
Computer software / Software engineering / Computer science / Computer Communication Networks / Logic design
Formal modeling and analysis of timed systems
Jean-Francois Raskin, P. S. Thiagarajan · Springer London, Limited
370 sayfa · 2007
Formal methods (Computer science) / Computer simulation / Congresses / Temporal automata / Automata
