Cover Image
Read Now

881
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... -- II: Papers Presented at 6thSPIN99 -- Formal Methods Adoption: What’s Working, What’s Not! -- Model...”
Cover Image
Read Now

882
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... Software for Programmable Logic Controllers -- Formal Methods for the International Space Station ISS...”
Cover Image
Read Now

883
Published 2005
Springer Berlin Heidelberg
“.... The papers address a wide range of logical and formal methods in computational linguistics with studies...”
Cover Image
Read Now

884
Published 2005
Springer Netherlands
“..., formal methods have to serve the needs and the quality of advanced software engineering methods...”
Cover Image
Read Now

885
Published 2005
Springer Netherlands
“... of dialogues and other language games, as well as formal methods needed in logic or artificial intelligence...”
Cover Image
Read Now

886
Published 2009
Springer Netherlands
“... students with a background in formal methods and beginning graduate students, but they will also serve...”
Cover Image
Read Now

887
Published 2005
Springer US
“.... These programming languages have formal semantics and use heavy machinery based on formal methods, but also provide...”
Cover Image
Read Now

888
Published 2009
Springer Netherlands
“... to the field of formal epistemology, the area applying logical, probabilistic, game-theoretic and other formal...”
Cover Image
Read Now

889
Published 2008
Springer Berlin Heidelberg
“... notions of proof and belief; formal methods in software and hardware development; logical approach...”
Cover Image
Read Now

890
Published 1998
Springer Berlin Heidelberg
“... of 59 submissions. Among the various fundamental software engineering issues addressed are formal...”
Cover Image
Read Now

891
Published 1993
Springer Berlin Heidelberg
“... as something for academics alone. Today, there is moreand more interest from industry in formal methods based...”
Cover Image
Read Now

892
Published 1998
Springer Berlin Heidelberg
“..., coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its...”
Cover Image
Read Now

893
Published 1997
Springer Berlin Heidelberg
“... in the field of formal methods for real-time systems and distributed and concurrent systems are addressed...”
Cover Image
Read Now

894
by Ganter, Bernhard, Wille, Rudolf
Published 1999
Springer Berlin Heidelberg
“... examples. Since computers are being used ever more widely for knowledge processing, formal methods...”
Cover Image
Read Now

895
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for Liveness -- Counting Votes with Formal Methods -- Agent-Oriented Programming: Where Do We Stand...”
Cover Image
Read Now

896
by Abderazek, Ben Abadallah
Published 2010
Atlantis Press
“... for hardware design. The main advantage of formal methods is the possibility to prove the validity of essential...”
Cover Image
Read Now

897
Published 2009
Springer Berlin Heidelberg
“... networks; performance management; agile business models; service-based systems; formal methods; socio...”
Cover Image
Read Now

898
by Gotzhein, Reinhard
Published 1993
Vieweg+Teubner Verlag
Table of Contents: “... Formal methods in the system design process -- 1.1 A model for the system design process -- 1.2...”
Cover Image
Read Now

899
Published 2003
Springer Netherlands
“...A cutting-edge survey of formal methods directed specifically at dealing with the deep mathematical...”
Cover Image
Read Now

900
Published 2007
Springer Berlin Heidelberg
“...Runtime veri?cation is a recent direction in formal methods research, which is complementary...”