Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Formal methods (Computer science) --- Real-time data processing --- Méthodes formelles (Informatique) --- Temps réel --- Congresses. --- Congrès --- Björner, D. --- Zhou, Chaochen, --- Computer Science --- Engineering & Applied Sciences --- Information Technology --- Software Engineering --- Bjørner, D. --- Bjørner, Dines --- Bjørner, Dines, --- Chaochen, Zhou, --- Computer science. --- Computer organization. --- Software engineering. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Software Engineering/Programming and Operating Systems. --- Software Engineering. --- Logics and Meanings of Programs. --- Computer Systems Organization and Communication Networks. --- Mathematical Logic and Formal Languages. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computer science logic --- Logic, Symbolic and mathematical --- Computer software engineering --- Engineering --- Organization, Computer --- Electronic digital computers --- Informatics --- Science --- Logic design. --- Computer network architectures. --- Architectures, Computer network --- Network architectures, Computer --- Computer architecture --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Chaochen, Zhou. --- Computer engineering. --- Computer networks. --- Machine theory. --- Computer Science Logic and Foundations of Programming. --- Computer Engineering and Networks. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Recursive functions --- Robotics --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computers --- Distributed processing --- Design and construction