Formal Methods for Eternal Networked Software Systems
No description available.
Information systemsComputer scienceSoftware engineeringInformatiqueComputer networksFormal methods (Computer science)CongressesComputer software, developmentSystem designComputer architectureProgramming Languages, Compilers, InterpretersMathematical Logic and Formal Languages