Journals in DBLP
Daniel M. Berry Formal Methods: The Very Idea Some Thoughts About Why They Work When They Work. [Citation Graph (0, 0)][DBLP ] Journal ] Norbert Völker , Bernd J. Krämer Automated Verification of Function Block Based Industrial Control Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Man-tak Shing , Luqi , Valdis Berzins , Michael Saluto , Julian Williams , Jiang Guo , B. Shultes The Story of Re-engineering 350,000 Lines of FORTRAN Code. [Citation Graph (0, 0)][DBLP ] Journal ] Wolfgang Polak Formal Methods in Practice. [Citation Graph (0, 0)][DBLP ] Journal ] Murali Narasimha , Rance Cleaveland , S. Purushothaman Iyer The role of observations in probabilistic open systems. [Citation Graph (0, 0)][DBLP ] Journal ] Luqi , Manfred Broy Preface - Software Engineering to our Planning Horizon. [Citation Graph (0, 0)][DBLP ] Journal ] Luqi Engineering Automation for Computer Based Systems. [Citation Graph (0, 0)][DBLP ] Journal ] Hee-Hwan Kwak , Insup Lee , Oleg Sokolsky Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. [Citation Graph (0, 0)][DBLP ] Journal ] Piotr Kosiuczenko , Martin Wirsing Formalizing and Executing Message Sequence Charts via Timed Rewriting. [Citation Graph (0, 0)][DBLP ] Journal ] Michael Gelfond , Richard Watson On Methodology of Representing Knowledge in Dynamic Domains. [Citation Graph (0, 0)][DBLP ] Journal ] Vered Gafni , Yishai A. Feldman , Amiram Yehudai Real-Time Systems Development with MASS. [Citation Graph (0, 0)][DBLP ] Journal ] John Drummond Dynamic Task Monitoring. [Citation Graph (0, 0)][DBLP ] Journal ] Daniel E. Cooke , Vladik Kreinovich Automatic Concurrency in SequenceL. [Citation Graph (0, 0)][DBLP ] Journal ] Du Zhang , Vo Lee , Joseph Friedel , Robert Keyser Automated Facts Generation From Raw Data: A Perspective From The ANDES Project. [Citation Graph (0, 0)][DBLP ] Journal ] 