You have Guest access.
Log In
D. Lowe and C. Zapart
Journal Article
Powertrain design and experiment research of a parallel hybrid electric vehicle
C. -L. Wang, C. -L. Yin, T. Zhang and L. Zhu
International Journal of Automotive Technology, 2009, Volume 10, Number 5, Pages 589-596
Book Chapter
Safety Aspects of a Landing Gear System
Dewi Daniels
2006, Developments in Risk-based Approaches to Safety, Part 5, Pages 199-213
Temporal Logic Model Checking
Edmund Clarke, Ansgar Fehnker, Sumit Kumar Jha and Helmut Veith
Control Engineering, 2005, Handbook of Networked and Embedded Control Systems, IV, Pages 539-558
The Team-Based Operation of Safety-Critical Programmable Systems in US Commercial Aviation and the UK Maritime Industries
C. W. Johnson
IFIP International Federation for Information Processing, 2004, Volume 152, Human Error, Safety and Systems Development, Pages 255-269
A Comparison of Ada and Real-Time JavaTM for Safety-Critical Applications
Benjamin M. Brosgol and Andy Wellings
Lecture Notes in Computer Science, 2006, Volume 4006, Reliable Software Technologies – Ada-Europe 2006, Pages 13-26
Monitoring Distributed Systems for Safety Critical Software: A Goal-Driven Approach and Prototype-Tool
Guido Pennella, Christian Di Biagio, Alessandro Colicchia, Gianfranco Pesce and Giovanni Cantone
Lecture Notes in Computer Science, 2006, Volume 4331, Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops, Pages 241-250
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche
David von Oheimb
Lecture Notes in Computer Science, 2006, Volume 4085, FM 2006: Formal Methods, Pages 592-597
Taking Our Own Medicine: Applying the Refinement Calculus to State-Rich Refinement Model Checking
Leo Freitas, Ana Cavalcanti and Jim Woodcock
Lecture Notes in Computer Science, 2006, Volume 4260, Formal Methods and Software Engineering, Pages 697-716
INTEGRATION OF TWO COMPLEMENTARY TIME-TRIGGERED TECHNOLOGIES: TMO AND TTP
R. Obermaisser, E. Henrich, K. H. Kim, H. Kopetz and M. H. Kim
IFIP International Federation for Information Processing, 2005, Volume 184, From Specification to Embedded Systems Application, Pages 211-222
Modeling and Verification of Safety-Critical Systems Using Safecharts
Pao-Ann Hsiung and Yen-Hung Lin
Lecture Notes in Computer Science, 2005, Volume 3731, Formal Techniques for Networked and Distributed Systems - FORTE 2005, Pages 290-304
Key words.Air-fuel ratio; Bayesian error bars; Confidence intervals; Engine management; Gaussian processes; Ignition timing; Neural networks; Safety-criticalsystems
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info