1
Formal Methods and Models for System Design: A System Level Perspective

Formal Methods and Models for System Design: A System Level Perspective

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)
Έτος:
2004
Γλώσσα:
english
Αρχείο:
PDF, 23.23 MB
0 / 0
english, 2004
2
Formal methods and models for system design: a system level perspective

Formal methods and models for system design: a system level perspective

Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin
Έτος:
2004
Γλώσσα:
english
Αρχείο:
DJVU, 5.15 MB
0 / 4.0
english, 2004
3
Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Synthesis of Embedded Software: Frameworks and Methodologies for Correctness by Construction

Loïc Besnard, Thierry Gautier, Paul Le Guernic (auth.), Sandeep K. Shukla, Jean-Pierre Talpin (eds.)
Έτος:
2010
Γλώσσα:
english
Αρχείο:
PDF, 4.21 MB
0 / 0
english, 2010