Formal method : industrial use from model to the code / / edited by Jean-Louis Boulanger.
Saved in:
Superior document: | Industrial implementation of formal methods series |
---|---|
: | |
TeilnehmendeR: | |
Year of Publication: | 2012 |
Language: | English |
Series: | Industrial implementation of formal methods series.
|
Online Access: | |
Physical Description: | xv, 357 p. :; ill. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Railway information modeling RIM : : track to rail modernization / / Mounir Bensalah, Abdelmajid Elouadi, Hassan Mharzi.
by: Bensalah, Mounir,
Published: ([2019]) -
Handbook of operations research applications at railroads / / Bruce W. Patty, editor.
Published: ([2015]) -
Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology
by: David A. Rosenblueth
Published: (2016) -
Methods and models : a guide to the empirical analysis of formal models in political science / / Rebecca B. Morton.
by: Morton, Rebecca B.,
Published: (1999.) -
Formal models, languages and applications / editors, K.G. Subramanian, K. Rangarajan, M. Mukund.
Published: (c2006.)