2025-02-22T17:00:35-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: Query fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2282%22&qt=morelikethis&rows=5
2025-02-22T17:00:35-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: => GET http://localhost:8983/solr/biblio/select?fl=%2A&wt=json&json.nl=arrarr&q=id%3A%22irk-123456789-2282%22&qt=morelikethis&rows=5
2025-02-22T17:00:35-05:00 DEBUG: VuFindSearch\Backend\Solr\Connector: <= 200 OK
2025-02-22T17:00:35-05:00 DEBUG: Deserialized SOLR response
Formal specifications and decomposition of logic systems for purposes of analysis, synthesis and diagnostics
The contribution deals with different formal specifications of logic system that are used for solving of analysis, synthesis and diagnostics tasks. Particular attention is given to analysis of applicability of separate description for the purpose of system decomposition. The data structure for al...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Інститут програмних систем НАН України
2004
|
| Subjects: | |
| Online Access: | http://dspace.nbuv.gov.ua/handle/123456789/2282 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|