Formal Methods for Protocol Engineering and Distributed Systems (INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING Volume 28)
Contributors: Jianping Wu (Editor); Samuel T. Chanson (Editor); Quiang Gao (Editor)
Edition: 1 edition
Publisher: Springer
Published: September 30, 1999
Language: eng
Format: Hardcover
Number of pages: 512
ISBN-13: 9780792386469
Subjects: Networking standards & protocols; Programming - General; Formal Language Theory; Computers - Languages / Programming; Formal methods (Computer science); Distributed Computer Systems; Computers; Electronic data processing; Computer Books: General; Distributed processing; Congresses; Computer Science; Networking - General; Computers / Computer Science; Computers / Programming / General; Computers : Computer Science; Computers : Networking - General; Management Information Systems; Formal methods (Computer scien; Computer network protocols
First sentence: It is widely acknowledged that the model of extended FSM (EFSM) is a very powerful model for verification and test derivation.