This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n16http://localhost/temp/predkladatel/
n12http://purl.org/net/nknouf/ns/bibtex#
n20http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n14http://linked.opendata.cz/resource/domain/vavai/projekt/
n19http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F00216224%3A14330%2F07%3A00022892%21RIV11-MSM-14330___/
n21http://linked.opendata.cz/ontology/domain/vavai/
n15http://linked.opendata.cz/resource/domain/vavai/zamer/
n10https://schema.org/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n3http://linked.opendata.cz/ontology/domain/vavai/riv/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n18http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n13http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n9http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n7http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n6http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n11http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F00216224%3A14330%2F07%3A00022892%21RIV11-MSM-14330___
rdf:type
skos:Concept n21:Vysledek
dcterms:description
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout. Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes the various approaches, their strengths and weaknesses, and when they are best used. Milner CCS and its operational semantics are introduced, together with notions of behavioural equivalence based on bisimulation techniques and with variants of Hennessy-Milner modal logics. Later in the book, the presented theories are extended to take timing issues into account. The book has arisen from various courses taught in Iceland and Denmark and is designed to give students a broad introduction to the area, with exercises throughout.
dcterms:title
Reactive Systems: Modelling, Specification and Verification Reactive Systems: Modelling, Specification and Verification
skos:prefLabel
Reactive Systems: Modelling, Specification and Verification Reactive Systems: Modelling, Specification and Verification
skos:notation
RIV/00216224:14330/07:00022892!RIV11-MSM-14330___
n3:aktivita
n13:P n13:Z
n3:aktivity
P(1M0545), Z(MSM 143300001), Z(MSM0021622419)
n3:dodaniDat
n11:2011
n3:domaciTvurceVysledku
n20:2753057
n3:druhVysledku
n7:B
n3:duvernostUdaju
n18:S
n3:entitaPredkladatele
n19:predkladatel
n3:idSjednocenehoVysledku
446494
n3:idVysledku
RIV/00216224:14330/07:00022892
n3:jazykVysledku
n9:eng
n3:klicovaSlova
CCS - bisimulation - temporal logic - timed automata
n3:klicoveSlovo
n4:CCS
n3:kontrolniKodProRIV
[C748ADAB8A2E]
n3:mistoVydani
Cambridge, UK
n3:nazevEdiceCisloSvazku
Cambridge University Press
n3:nazevZdroje
Reactive Systems: Modelling, Specification and Verification
n3:obor
n6:IN
n3:pocetDomacichTvurcuVysledku
1
n3:pocetStranKnihy
300
n3:pocetTvurcuVysledku
4
n3:projekt
n14:1M0545
n3:rokUplatneniVysledku
n11:2007
n3:tvurceVysledku
Ingolfsdottir, Anna Srba, Jiří Larsen, Kim Guldstrand Aceto, Luca
n3:zamer
n15:MSM%20143300001 n15:MSM0021622419
s:numberOfPages
300
n12:hasPublisher
Cambridge University Press
n10:isbn
978-0-521-87546-2
n16:organizacniJednotka
14330