18 treff

Ord i tittel: formal methods and models for codesign
Formal Methods and Models for Co-Design, 2006 4TH IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Codesign, 2007 5th IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Codesign, 2008 6th IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Co-Design, 2009. MEMOCODE '09. 7th IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Codesign (MEMOCODE), 2010 8th IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Codesign (MEMOCODE), 2011 9th IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Codesign (MEMOCODE), 2012 10th IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal Methods and Models for Codesign (MEMOCODE), 2013 Eleventh IEEE/ACM International Conference on

Bok Engelsk · Vis mer
Formal methods for industrial applications : specifying and programming the steam boiler control
Jean-Raymond Abrial, Egon Börger, Hans La...
Bok Engelsk 1996 · Vis mer
Formal methods for distributed processing : a survey of object-oriented approaches
edited by Howard Bowman, John Derrick
Bok Engelsk 2001 · Vis mer
2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)

Bok Engelsk · Vis mer
ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

Bok Engelsk · Vis mer
Proceedings of the Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign

Bok Engelsk · Vis mer
Proceedings of the Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign

Bok Engelsk · Vis mer
Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

Bok Engelsk · Vis mer
Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign

Bok Engelsk · Vis mer
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)

Bok Engelsk · Vis mer
Aerospace EMC, 2012 Proceedings ESA Workshop on

Bok Engelsk · Vis mer