Formal Methods in System Design View Homepage


Ontology type: schema:Periodical     


Journal Info

START YEAR

1992

PUBLISHER

Springer US

LANGUAGE

en

HOMEPAGE

http://link.springer.com/journal/10703

Recent publications latest 20 shown

JSON-LD is the canonical representation for SciGraph data.

TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

[
  {
    "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
    "about": [
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/T24068", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Circuits and Systems", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/T24000", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Electrical Engineering", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I23044", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Computer-Aided Engineering (CAD, CAE) and Design", 
        "type": "DefinedTerm"
      }, 
      {
        "id": "http://scigraph.springernature.com/ontologies/product-market-codes/I14002", 
        "inDefinedTermSet": "http://scigraph.springernature.com/ontologies/product-market-codes/", 
        "name": "Software Engineering/Programming and Operating Systems", 
        "type": "DefinedTerm"
      }
    ], 
    "alternateName": "An International Journal", 
    "contentRating": [
      {
        "author": "snip", 
        "ratingValue": "1.285", 
        "type": "Rating"
      }, 
      {
        "author": "sjr", 
        "ratingValue": "0.445", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2017", 
        "ratingValue": "0.825", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2016", 
        "ratingValue": "1.000", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2015", 
        "ratingValue": "1.132", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2014", 
        "ratingValue": "0.875", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2013", 
        "ratingValue": "0.404", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2009", 
        "ratingValue": "1.111", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2012", 
        "ratingValue": "0.282", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2011", 
        "ratingValue": "0.690", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2010", 
        "ratingValue": "1.158", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2009", 
        "ratingValue": "1.111", 
        "type": "Rating"
      }, 
      {
        "author": "impact_factor_wos", 
        "dateCreated": "2008", 
        "ratingValue": "0.800", 
        "type": "Rating"
      }
    ], 
    "description": "

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

", "editor": [ { "familyName": "Kroening", "givenName": "Daniel", "type": "Person" } ], "id": "sg:journal.1052628", "inLanguage": [ "en" ], "isAccessibleForFree": false, "issn": [ "0925-9856", "1572-8102" ], "license": "Hybrid (Open Choice)", "name": "Formal Methods in System Design", "productId": [ { "name": "dimensions_id", "type": "PropertyValue", "value": [ "52628" ] }, { "name": "springer_id", "type": "PropertyValue", "value": [ "10703" ] }, { "name": "lccn_id", "type": "PropertyValue", "value": [ "93648953" ] }, { "name": "wos_id", "type": "PropertyValue", "value": [ "0925-9856/FORMAL METHODS IN SYSTEM DESIGN" ] }, { "name": "scopus_id", "type": "PropertyValue", "value": [ "12262" ] }, { "name": "nlm_unique_id", "type": "PropertyValue", "value": [ "101670328" ] }, { "name": "nsd_ids_id", "type": "PropertyValue", "value": [ "440751" ] }, { "name": "era_ids_id", "type": "PropertyValue", "value": [ "4558" ] } ], "publisher": { "name": "Springer US", "type": "Organization" }, "publisherImprint": "Springer", "sameAs": [ "https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1052628" ], "sdDataset": "journals", "sdDatePublished": "2021-01-19T05:00", "sdLicense": "https://scigraph.springernature.com/explorer/license/", "sdPublisher": { "name": "Springer Nature - SN SciGraph project", "type": "Organization" }, "sdSource": "file:///pack/app/journals_20190313_sn_only.jsonl", "startYear": "1992", "type": "Periodical", "url": "http://link.springer.com/journal/10703" } ]
 

Download the RDF metadata as:  json-ld nt turtle xml License info

HOW TO GET THIS DATA PROGRAMMATICALLY:

JSON-LD is a popular format for linked data which is fully compatible with JSON.

curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/journal.1052628'

N-Triples is a line-based linked data format ideal for batch operations.

curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/journal.1052628'

Turtle is a human-readable linked data format.

curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/journal.1052628'

RDF/XML is a standard XML format for linked data.

curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/journal.1052628'


 

This table displays all metadata directly associated to this object as RDF triples.

166 TRIPLES      22 PREDICATES      46 URIs      38 LITERALS      24 BLANK NODES

Subject Predicate Object
1 sg:journal.1052628 schema:about sg:ontologies/product-market-codes/I14002
2 sg:ontologies/product-market-codes/I23044
3 sg:ontologies/product-market-codes/T24000
4 sg:ontologies/product-market-codes/T24068
5 schema:alternateName An International Journal
6 schema:contentRating N043d090abd834cff8e0023e30840ecbc
7 N1302756b22a4404cb3e8f38f43a20b66
8 N1c47a48575884a778df72f8d83edb343
9 N2452538fb4634833a1c5581ac857f476
10 N7b546fa655b04219b06034a3e9e952e0
11 N7e7ea879a37d4f74aa3bb11136a0d17d
12 N9242d84532fe46a1a6643ae5ca33a1ae
13 Ndb9387f1b7194245aa8c20818897b30a
14 Ne1d04588c9c54f1c914f5e078205cf21
15 Neac0174b4bf740249fa87849148cd101
16 Ned93ad0dd00d4e64a3f9919e7dc58bb2
17 Nf7df40d4e56348f88d6c79b26c231992
18 Nfaa709f711f142fc903bf3eb7709d3a9
19 schema:description <P>Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.</P>
20 schema:editor Ne281a28777ab42e4963c2b72fa7bc505
21 schema:inLanguage en
22 schema:isAccessibleForFree false
23 schema:issn 0925-9856
24 1572-8102
25 schema:license Hybrid (Open Choice)
26 schema:name Formal Methods in System Design
27 schema:productId N24d82a6f2ea847839e6d625a6225fcf1
28 N47ddca81e81e4633849aa1e75869f505
29 N68cbce7fe3a64d30a23d927f9a5ca564
30 N9ef778f03e524ba4a9cfd992f9bba2be
31 Ne465c013be7f42f290cbcb9fbeeb6fb9
32 Nf17d99b5b46c4f7b9f7438b83ff69bea
33 Nfd3a83a2e85d406bbfaa24f1468a078e
34 Nfe881e47c893409cba96f4f2f9cefa3d
35 schema:publisher N3752fde7166749ccbbdad99081df69bf
36 schema:publisherImprint Springer
37 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_source_title=jour.1052628
38 schema:sdDatePublished 2021-01-19T05:00
39 schema:sdLicense https://scigraph.springernature.com/explorer/license/
40 schema:sdPublisher N70b33b2a7b0346a4843fb940f7900eb4
41 schema:startYear 1992
42 schema:url http://link.springer.com/journal/10703
43 sgo:license sg:explorer/license/
44 sgo:sdDataset journals
45 rdf:type schema:Periodical
46 N043d090abd834cff8e0023e30840ecbc schema:author Nda4c4db5566940bbb936fe432cc97646
47 schema:dateCreated 2013
48 schema:ratingValue 0.404
49 rdf:type schema:Rating
50 N0b8720b6de0e4d9c99a07f4e3961f5fd rdf:first sjr
51 rdf:rest rdf:nil
52 N0bcfe1da5b814cdc8bed47ac6fa82850 rdf:first impact_factor_wos
53 rdf:rest rdf:nil
54 N115754a05b4f4c1481d6b5076ea8a7d7 rdf:first impact_factor_wos
55 rdf:rest rdf:nil
56 N1302756b22a4404cb3e8f38f43a20b66 schema:author N8846fa8863aa486c901927b57027b16e
57 schema:dateCreated 2016
58 schema:ratingValue 1.000
59 rdf:type schema:Rating
60 N1c47a48575884a778df72f8d83edb343 schema:author N2609178b0f414c6697a98fd1e023d48a
61 schema:ratingValue 1.285
62 rdf:type schema:Rating
63 N2452538fb4634833a1c5581ac857f476 schema:author N9c4727a5b52a410694a5f8cd8851381d
64 schema:dateCreated 2011
65 schema:ratingValue 0.690
66 rdf:type schema:Rating
67 N24d82a6f2ea847839e6d625a6225fcf1 schema:name era_ids_id
68 schema:value 4558
69 rdf:type schema:PropertyValue
70 N2609178b0f414c6697a98fd1e023d48a rdf:first snip
71 rdf:rest rdf:nil
72 N353952176ce240efa83763dced82934f rdf:first impact_factor_wos
73 rdf:rest rdf:nil
74 N3752fde7166749ccbbdad99081df69bf schema:name Springer US
75 rdf:type schema:Organization
76 N403135617e614c6281316177f8bcf99f rdf:first impact_factor_wos
77 rdf:rest rdf:nil
78 N47ddca81e81e4633849aa1e75869f505 schema:name springer_id
79 schema:value 10703
80 rdf:type schema:PropertyValue
81 N68cbce7fe3a64d30a23d927f9a5ca564 schema:name nlm_unique_id
82 schema:value 101670328
83 rdf:type schema:PropertyValue
84 N70b33b2a7b0346a4843fb940f7900eb4 schema:name Springer Nature - SN SciGraph project
85 rdf:type schema:Organization
86 N7b546fa655b04219b06034a3e9e952e0 schema:author Neffc2ddc0d1143339dbc6bc4d71bae64
87 schema:dateCreated 2009
88 schema:ratingValue 1.111
89 rdf:type schema:Rating
90 N7e7ea879a37d4f74aa3bb11136a0d17d schema:author N353952176ce240efa83763dced82934f
91 schema:dateCreated 2014
92 schema:ratingValue 0.875
93 rdf:type schema:Rating
94 N8846fa8863aa486c901927b57027b16e rdf:first impact_factor_wos
95 rdf:rest rdf:nil
96 N9242d84532fe46a1a6643ae5ca33a1ae schema:author N115754a05b4f4c1481d6b5076ea8a7d7
97 schema:dateCreated 2008
98 schema:ratingValue 0.800
99 rdf:type schema:Rating
100 N9c4727a5b52a410694a5f8cd8851381d rdf:first impact_factor_wos
101 rdf:rest rdf:nil
102 N9ef778f03e524ba4a9cfd992f9bba2be schema:name lccn_id
103 schema:value 93648953
104 rdf:type schema:PropertyValue
105 Nae95f86317c84b1c8e930ac69e51efcb rdf:first impact_factor_wos
106 rdf:rest rdf:nil
107 Nda4c4db5566940bbb936fe432cc97646 rdf:first impact_factor_wos
108 rdf:rest rdf:nil
109 Ndb9387f1b7194245aa8c20818897b30a schema:author N0b8720b6de0e4d9c99a07f4e3961f5fd
110 schema:ratingValue 0.445
111 rdf:type schema:Rating
112 Nde6c2145c7724d7c97118b063d10fd83 rdf:first impact_factor_wos
113 rdf:rest rdf:nil
114 Ne038890d0bb74b93bdca3b2bb2e101bc rdf:first impact_factor_wos
115 rdf:rest rdf:nil
116 Ne1d04588c9c54f1c914f5e078205cf21 schema:author Nde6c2145c7724d7c97118b063d10fd83
117 schema:dateCreated 2012
118 schema:ratingValue 0.282
119 rdf:type schema:Rating
120 Ne281a28777ab42e4963c2b72fa7bc505 rdf:first Nf8577f55886d4e0085c18f2aa8a0cd51
121 rdf:rest rdf:nil
122 Ne465c013be7f42f290cbcb9fbeeb6fb9 schema:name wos_id
123 schema:value 0925-9856/FORMAL METHODS IN SYSTEM DESIGN
124 rdf:type schema:PropertyValue
125 Neac0174b4bf740249fa87849148cd101 schema:author N0bcfe1da5b814cdc8bed47ac6fa82850
126 schema:dateCreated 2017
127 schema:ratingValue 0.825
128 rdf:type schema:Rating
129 Ned93ad0dd00d4e64a3f9919e7dc58bb2 schema:author Ne038890d0bb74b93bdca3b2bb2e101bc
130 schema:dateCreated 2009
131 schema:ratingValue 1.111
132 rdf:type schema:Rating
133 Neffc2ddc0d1143339dbc6bc4d71bae64 rdf:first impact_factor_wos
134 rdf:rest rdf:nil
135 Nf17d99b5b46c4f7b9f7438b83ff69bea schema:name dimensions_id
136 schema:value 52628
137 rdf:type schema:PropertyValue
138 Nf7df40d4e56348f88d6c79b26c231992 schema:author N403135617e614c6281316177f8bcf99f
139 schema:dateCreated 2015
140 schema:ratingValue 1.132
141 rdf:type schema:Rating
142 Nf8577f55886d4e0085c18f2aa8a0cd51 schema:familyName Kroening
143 schema:givenName Daniel
144 rdf:type schema:Person
145 Nfaa709f711f142fc903bf3eb7709d3a9 schema:author Nae95f86317c84b1c8e930ac69e51efcb
146 schema:dateCreated 2010
147 schema:ratingValue 1.158
148 rdf:type schema:Rating
149 Nfd3a83a2e85d406bbfaa24f1468a078e schema:name nsd_ids_id
150 schema:value 440751
151 rdf:type schema:PropertyValue
152 Nfe881e47c893409cba96f4f2f9cefa3d schema:name scopus_id
153 schema:value 12262
154 rdf:type schema:PropertyValue
155 sg:ontologies/product-market-codes/I14002 schema:inDefinedTermSet sg:ontologies/product-market-codes/
156 schema:name Software Engineering/Programming and Operating Systems
157 rdf:type schema:DefinedTerm
158 sg:ontologies/product-market-codes/I23044 schema:inDefinedTermSet sg:ontologies/product-market-codes/
159 schema:name Computer-Aided Engineering (CAD, CAE) and Design
160 rdf:type schema:DefinedTerm
161 sg:ontologies/product-market-codes/T24000 schema:inDefinedTermSet sg:ontologies/product-market-codes/
162 schema:name Electrical Engineering
163 rdf:type schema:DefinedTerm
164 sg:ontologies/product-market-codes/T24068 schema:inDefinedTermSet sg:ontologies/product-market-codes/
165 schema:name Circuits and Systems
166 rdf:type schema:DefinedTerm
 




Preview window. Press ESC to close (or click here)


...