1
Julkaistu 2010
Sisällysluettelo: ... Approach -- Reliable Parallel Programming Model for Distributed Computing Environments -- Second Workshop...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2013
Sisällysluettelo: ... -- Increasing Confidence in Liveness Model Checking Results with Proofs Speeding Up the Safety Verification...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2014
Sisällysluettelo: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2007
Sisällysluettelo: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...
Hae kokoteksti
Elektroninen E-kirja