Integrated Formal Methods
English | PDF | 2017 | 447 Pages | ISBN : 3319668447 | 16.2 MB
This book constitutes th refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.
The 24 full papers and 4 short papers presented were carefully reviewed and selected from 61 submissions. They are organized in topical sections on cyber-physical systems, software verification tools, safety-critical systems, concurrency and distributed systems, program verification techniques, formal modeling, and verified software..
Memory in Motion: Archives, Technology and the Social (Recursions)
Monitoring and Securing Virtualized Networks and Services
Cryptography and Security Systems
Coordination of Internet Agents: Models, Technologies, and Applications
Breaking into computer networks from the Internet
The Global Positioning System and ArcGIS, 3rd Edition
Optical Wireless Communications: System and Channel Modelling with MATLAB?
Network Reliability: Measures and Evaluation
Broadband Power Line Communications Systems: Theory and Applications
Migratory Interactive Applications for Ubiquitous Environments
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.
Cisco CCNA Simplified: 5th Edition(1819)
Internet of Things From Hype to Reality: T(1585)
Principles of Digital Communication: A Top(1461)
Introduction to High Performance Scientifi(1377)
Advances in Internetworking, Data & Web Te(1323)
Complete Manual of Pirate Radio(1291)
Quick IPv4 addressing and subnetting(1289)
Antenna Design for Mobile Devices, 2nd edi(1276)
Computer and Network Security Essentials(1248)
Cloud Computing: Principles, Systems and A(1207)
Software Engineering, Artificial Intellige(1169)
Innovations in Computer Science and Engine(1132)
Introduction to Digital Communications, 2(1110)
Fog for 5G and IoT(1097)