About: Έλεγχος μοντέλων

An Entity of Type: Thing, from Named Graph: http://el.dbpedia.org, within Data Space: el.dbpedia.org

Property	Value
dbo:wikiPageExternalLink	https://web.archive.org/web/20051127091032/http:/homepages.cwi.nl/~mcrl/ ftp://ftp.inrialpes.fr/pub/vasy/publications/cadp/Mateescu-Sighireanu-03.pdf http://mrw.interscience.wiley.com/emrw/9780470050118/ecse/article/ecse247/current/abstract''Model http://people.cis.ksu.edu/~schmidt/papers/sas99.ps.gz http://www.cs.utwente.nl/~ruys/moonwalker http://www.model.in.tum.de/um/25/pdf/Emerson.pdf http://dx.doi.org/10.2277/052154310X https://web.archive.org/web/20070502141616/http:/delab.csd.auth.gr/~katsaros/formal_methods.htm https://web.archive.org/web/20091029162018/http:/www.cs.ucr.edu/~ciardo/SMART/ https://web.archive.org/web/20100730023307/http:/mrw.interscience.wiley.com/emrw/9780470050118/ecse/article/ecse247/current/abstract https://web.archive.org/web/20101109042705/http:/www.springerlink.com/content/j335v4472745r366/ https://web.archive.org/web/20110719222236/http:/patterns.projects.cis.ksu.edu/documentation/patterns.shtml http://homepages.inf.ed.ac.uk/jcb/Research/bradfield-stirling-HPA-mu-intro.ps.gz http://phdtheses.ekt.gr/eadd/handle/10442/19375 http://www.inrialpes.fr/vasy/cadp/resources/evaluator/rafmc.html http://spinroot.com/spin/Doc/Book_extras/
dbo:wikiPageID	185900 (xsd:integer)
dbo:wikiPageLength	14240 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID	9729167 (xsd:integer)
prop-el:date	2010-07-30 (xsd:date)
prop-el:url	https://web.archive.org/web/20100730023307/http:/mrw.interscience.wiley.com/emrw/9780470050118/ecse/article/ecse247/current/abstract
prop-el:wikiPageUsesTemplate	dbpedia-el:Πρότυπο:Dead_link dbpedia-el:Πρότυπο:Webarchive dbpedia-el:Πρότυπο:Ενσωμάτωση_κειμένου
dct:subject	dbpedia-el:Κατηγορία:Έλεγχος_μοντέλων dbpedia-el:Κατηγορία:Λογική_για_Υπολογιστές dbpedia-el:Κατηγορία:Τυπικές_μέθοδοι
rdfs:label	Έλεγχος μοντέλων (el) Έλεγχος μοντέλων (el)
owl:sameAs	freebase:Έλεγχος μοντέλων
prov:wasDerivedFrom	wikipedia-el:Έλεγχος_μοντέλων?oldid=9729167&ns=0
foaf:isPrimaryTopicOf	wikipedia-el:Έλεγχος_μοντέλων
is dbo:wikiPageRedirects of	dbpedia-el:Έλεγχος_μοντέλου
is foaf:primaryTopic of	wikipedia-el:Έλεγχος_μοντέλων