Temat: formal method - Prolib Integro

Skocz do pozycji: 1.

Tytuł:: A Quantifier-free First-order Knowledge Logic of Authentication
Autorzy:: Kurkowski, M.
Srebrny, M.
Data publikacji:: 2006
Słowa kluczowe:: verification
formal method
authentication
security
knowledge; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: An Ontological Meta-Model Framework for Implementation of IEC 61968
Autorzy:: Lu, Y.
Liu, D.
Data publikacji:: 2012
Słowa kluczowe:: IEC 61968
metamodel
ontologia
interoperacyjność
meta-model
formal method
ontology
interoperability; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Towards automated consistency checking of module interface specifications
Autorzy:: Engel, M.
Kret, A.
Mincer-Daszkiewicz, J.
Data publikacji:: 2000
Słowa kluczowe:: software engineering
formal method
automated theorem proving
shallow and deep embedding
axiomatic and definitional embedding
Trace Assertion Method
PVS; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Semiformal common criteria compliant it security development framework
Autorzy:: Białas, K.
Data publikacji:: 2008
Słowa kluczowe:: uzasadnione zaufanie
Common Criteria
wspólne kryteria
wspomaganie komputerowe
konstruowanie
prace rozwojowe
ocena zabezpieczeń
zrąb
system szkieletowy
bezpieczeństwo informacji
UML
OCL
modelowanie
inżynieria zabezpieczeń
metody półformalne
system informatyczny
zabezpieczenia informatyczne
assurance
computer aiding
designing
development
evaluation
formal method
framework
IT security
modelling
security engineering
semiformal method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: odpowiedź na ankietę
Pamiętnik Literacki: Z. 1 (2002)
Autorzy:: Nawarecki, Aleksander
Data publikacji:: 2002
Wydawca:: Instytut Badań Literackich Polskiej Akademii Nauk
Słowa kluczowe:: teoria literatury
literary theory
badania nad literaturą polską
newest literature
periodic “Teksty” (“Texts”)
baroque
czasopismo „Teksty”
Romanticism
romantyzm
metoda formalna
special histories
historie specjalne
periodyzacja
structural analysis
research on Polish literature
analiza strukturalna
formal method
literatura najnowsza
periodization
barok; Pokaż więcej
Dostawca treści:: RCIN - Repozytorium Cyfrowe Instytutów Naukowych

Inne

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Artykuł recenzyjny monografii Grzegorza Smyka Administracja publiczna Królestwa Polskiego w latach 1864–1915 Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 2011, s. 456
The article reviewing the monograph written by Grzegorz Smyk on Public administration in the Kingdom of Poland in 1864–1915, Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 2011, 456 p.
Autorzy:: Dorota Malec
Data publikacji:: 2013-02-04
Tematy:: history of administration
the polish Kingdom
Russian law in 19th Century
formal-dogmatic method
historia administracji
Królestwo Polskie
prawo rosyjskie w XIX w.
metoda formalno-dogmatyczna; Pokaż więcej
Dostawca treści:: CEJSH

Artykuł

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: Artykuł recenzyjny monografii Grzegorza Smyka Administracja publiczna Królestwa Polskiego w latach 1864–1915 Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 2011, s. 456
The article reviewing the monograph written by Grzegorz Smyk on Public administration in the Kingdom of Poland in 1864–1915, Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej, Lublin 2011, 456 p.
Autorzy:: Malec, Dorota
Data publikacji:: 2012
Wydawca:: Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
Tematy:: history of administration
the polish Kingdom
Russian law in 19th Century
formal-dogmatic method
historia administracji
Królestwo Polskie
prawo rosyjskie w XIX w.
metoda formalno-dogmatyczna; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: The Interactive Method for Language Science and Some Salient Results
Autorzy:: Włodarczyk, Hélène
Włodarczyk, André
Data publikacji:: 2022-04-06
Wydawca:: Polska Akademia Nauk. Czasopisma i Monografie PAN
Tematy:: epistemology
language philosophy
semiotics
linguistics
information
data mining
formal concepts
interactive method; Pokaż więcej
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: An Algorithm using Context Reduction for Efficient Incremental Generation of Concept Set
Autorzy:: Kovács, László
Data publikacji:: 2019
Słowa kluczowe:: concept set
FCA
formal concept analysis
InClose method
incremental concept set generation; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Modifications of the Formal Risk Analysis and Assessment for the Information System Security
Autorzy:: Fray, Imed El
Wiliński, Artur
Data publikacji:: 2024
Słowa kluczowe:: security monitoring
risk analysis
risk assessment
formal model
information system
MEHARI method; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Informacja

Wyszukujesz frazę "formal method" wg kryterium: Temat