Please use this identifier to cite or link to this item:
http://hdl.handle.net/123456789/12Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Liu, Zhiming | - |
| dc.contributor.author | Woodcock, Jim | - |
| dc.contributor.author | Zhu, Huibiao | - |
| dc.date.accessioned | 2015-01-12T02:21:01Z | - |
| dc.date.available | 2015-01-12T02:21:01Z | - |
| dc.date.issued | 2013 | - |
| dc.identifier.uri | http://hdl.handle.net/123456789/12 | - |
| dc.description | Set-theoretic models of computations -- Model-based mutation testing of reactive systems : from semantics to automated test-case generation -- Pliant modalities in hybrid event-B -- A relational approach to an algebraic community : from Paul Erdős to He Jifeng -- Practical theory extension in event-B -- Simulink timed models for program verification -- Concept analysis based approach to statistical web testing -- Algebraic program semantics for supercomputing -- Modeling and specification of real-time interfaces with UTP -- Some fixed-point issues in PPTL -- The value-passing calculus -- Proving safety of traffic manoeuvres on country roads -- Generic models of the laws of programming -- Ours is to reason why -- Optimal bounds for multiweighted and parametrised energy games -- On the relationship between LTL normal forms and Büchi automata -- Managing environment and adaptation risks for the internetware paradigm -- Safety versus security in the quality calculus -- Invariants synthesis over a combined domain for automated program verification -- Slow abstraction via priority -- Performance estimation using symbolic data -- Synthesizing switching controllers for hybrid systems by generating invariants -- Graph-based object-oriented Hoare logic -- Towards a modeling language for cyber-physical systems. | en_US |
| dc.language.iso | en | en_US |
| dc.publisher | Springer Heidelberg Dordrecht | en_US |
| dc.subject | Computer programming. | en_US |
| dc.subject | Formal methods (Computer science) | en_US |
| dc.subject | Software engineering. | en_US |
| dc.title | Theories of programming and formal methods / | en_US |
| dc.type | Book | en_US |
| Appears in Collections: | Information Technology | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Theories of Programming and Formal Methods.pdf | 5.81 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.