{"@context":{"@vocab":"https://cir.nii.ac.jp/schema/1.0/","rdfs":"http://www.w3.org/2000/01/rdf-schema#","dc":"http://purl.org/dc/elements/1.1/","dcterms":"http://purl.org/dc/terms/","foaf":"http://xmlns.com/foaf/0.1/","prism":"http://prismstandard.org/namespaces/basic/2.0/","cinii":"http://ci.nii.ac.jp/ns/1.0/","datacite":"https://schema.datacite.org/meta/kernel-4/","ndl":"http://ndl.go.jp/dcndl/terms/","jpcoar":"https://github.com/JPCOAR/schema/blob/master/2.0/"},"@id":"https://cir.nii.ac.jp/crid/1010000781802278155.json","@type":"Article","resourceType":"学術雑誌論文(journal article)","dc:title":[{"@language":"ja","@value":"Modeling and Verification of Hybrid Systems Based on Equations"}],"creator":[{"@id":"https://cir.nii.ac.jp/crid/1420845751162608512","@type":"Researcher","personIdentifier":[{"@type":"KAKEN_RESEARCHERS","@value":"50251971"},{"@type":"NRID","@value":"1000050251971"},{"@type":"NRID","@value":"9000261650206"}],"foaf:name":[{"@language":"ja","@value":"二木 厚吉"},{"@language":"en","@value":"FUTATSUGI Kokichi"}],"jpcoar:affiliationName":[{"@language":"ja","@value":"北陸先端科学技術大学院大学"},{"@language":"en","@value":"Japan Advanced Institute of Science and Technology, School of Information Science, Professor"}]}],"publication":{"prism:publicationName":[{"@language":"ja","@value":"Proc.of the IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems"}],"prism:publicationDate":"2004","prism:startingPage":"43","prism:endingPage":"52"},"project":[{"@id":"https://cir.nii.ac.jp/crid/1040000781802278016","@type":"Project","projectIdentifier":[{"@type":"KAKEN","@value":"15300007"},{"@type":"JGN","@value":"JP15300007"},{"@type":"URI","@value":"https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-15300007/"}],"notation":[{"@language":"ja","@value":"振舞仕様に基づく問題モデルの構築と検証"},{"@language":"en","@value":"Construction and verification of problem models in behavioral specifications"}]}],"dataSourceIdentifier":[{"@type":"KAKEN","@value":"PRODUCT-18135866"}]}